Higher Computing - PDFSEARCH.IO - Document Search Engine

Higher Computing
Results: 1165

#	Item
131	CRA CONFERENCE AT SNOWBIRD 2010—JULY 18–20 CLIFF LODGE, SNOWBIRD RESORT, UTAH The flagship conference for chairs of Ph.D.-granting departments of CS and CE and leaders from U.S. industrial and government computing re Add to Reading List Source URL: cra.org Language: English - Date: 2010-07-14 15:47:25 Donald Bren School of Information and Computer Sciences Elizabeth Mynatt Year of birth missing Higher education Education in the United States Carnegie Mellon School of Computer Science Academia University at Albany SUNY
132	CASE STUDY Cloud Provider Delivers Revolutionary Throughput Performance Using Mellanox InfiniBand Products Dramatically improves hardware efficiency, improves the delivery of cloud services, permitting higher applicatio Add to Reading List Source URL: info.profitbricks.com Language: English - Date: 2015-05-24 07:44:15 Computer networking Supercomputers Cloud infrastructure InfiniBand Mellanox Technologies SCSI RDMA Protocol PCI Express I/O virtualization Virtual machine Computing Cloud computing Computer buses
133	http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science Add to Reading List Source URL: www.wedesoft.de Language: English Computing Higher-order functions Computability theory Theoretical computer science Church encoding Scheme Fold Binary lambda calculus Lambda calculus Software engineering Declarative programming
134	SAGE Open http://sgo.sagepub.com/ E-Book Readers in Higher Education : Student Reading Preferences and Other Data From Surveys at the University of Agder Arthur N. Olsen, Birgitte Kleivset and Henry Langseth Add to Reading List Source URL: www.twosides.fi Language: English - Date: 2013-05-16 08:20:34 Linux-based devices Electronic publishing Amazon.com Computer file formats Amazon Kindle Proprietary hardware E-book IPad Screen reading Computer hardware Computing Publishing
135	Birkbeck, University of London Birkbeck is a world-class research and teaching institution, a vibrant centre of academic excellence and London’s only specialist provider of evening higher education. We encourage applic Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2013-05-07 10:26:01 Association of Commonwealth Universities Birkbeck University of London DIT School of Computing
136	From Variadic Functions to Variadic Relations A miniKanren Perspective William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:33 Higher-order functions Fold Recursion Variadic function Functional programming FO Function Arity Append Software engineering Computing Computer programming
137	Brand New Campus Map 1.09 Add to Reading List Source URL: www.ie.unc.edu Language: English - Date: 2010-05-25 08:12:43 University of North Carolina at Chapel Hill Renaissance Computing Institute North Carolina United States Environmental Protection Agency Research Triangle University of North Carolina at Charlotte Environmental science Higher education Academia Association of Public and Land-Grant Universities Association of American Universities University of North Carolina
138	Sneaking Around concatMap Efficient Combinators for Dynamic Programming Christian H¨oner zu Siederdissen Institute for Theoretical Chemistry, University of Vienna, 1090 Wien, Austria Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-04 05:49:20 Higher-order functions Lambda calculus Functional programming Recursion Procedural programming languages Combinatory logic Fold Dynamic programming Map Software engineering Computing Computer programming
139	Lightweight Fusion by Fixed Point Promotion ∗ (the author’s version) Isao Sasano † Atsushi Ohori Add to Reading List Source URL: www.sic.shibaura-it.ac.jp Language: English - Date: 2008-10-23 00:04:30 Higher-order functions Recursion Functions and mappings Computability theory Fold Lambda calculus Map Function Antiderivative Mathematics Mathematical analysis Computing
140	M-285 The Network Box M-285 is a member of the Network Box S-M-E product rangedesigned to protect small and medium-sized offices that require higher performance. This model is built for use in either an office or a data Add to Reading List Source URL: www.cmssoft.co.uk Language: English - Date: 2015-04-01 11:10:39 Computer security IPsec Stateful firewall Computer network security Computing Network architecture

UPDATE